81. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده: Petr Hajek )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
82. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده: Petr Hajek )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
83. Grammars and Automata for string processing : From mathematics and computer science to biology and Bach
پدیدآورنده: Edited by Carlos Martin Vide, Victor Mitrana
کتابخانه: كتابخانه دانشگاه آزاد اسلامی واحد قم (قم)
موضوع: Computer science,Mathematics,Molecular biology
رده :
QA
.
G72
76
2003
84. Grammars and automata for string processing: from mathematics and computer science to biology, and back
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages
رده :
QA
76
.
G64
2003
85. Grammars and automata for string processing : from mathematics and computer science to biology, and back
پدیدآورنده: edited by Carlos Martin-Vide and Victor Mitrana
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-
رده :
QA
76
.
G69
86. Introduction to computer science mathematics
پدیدآورنده: / Robert V. Jamison
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Mathematics - 1961-
رده :
510
J32i
87. Introduction to computer science mathematics
پدیدآورنده : Jamison, Robert V
موضوع : ، Mathematics
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
88. Introduction to computer science mathematics
پدیدآورنده: JAMISON,ROBERT V
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: MATHEMATICS-1961-
رده :
QA
39
.
2
.
J35
89. Lectures on discrete mathematics for computer science
پدیدآورنده: Khoussainov, Bakhadyr, 1691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Textbooks ، Computer science -- Mathematics
رده :
QA
76
.
9
.
M35K46
90. Logic, Mathematics, and Computer Science.
پدیدآورنده: \ Yves Nievergelt
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
رده :
QA
37
.
N5L6
2015
E-Book
,
91. Logic and discrete mathematics: A computer science perspective
پدیدآورنده : Grassmann, Winfried K
موضوع : ، Computer science -- Mathematics
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
92. Logic and discrete mathematics : a computer science perspective
پدیدآورنده: Grassmann, Winfried K.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Mathematics
رده :
QA
76
.
9
.
M35
G725
1996
93. Logic and discrete mathematics: a computer science perspective
پدیدآورنده: Grassmann, Winfried K.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics ، Computer science
رده :
QA
76
.
9
.
M35
G725
1996
94. Logic & discrete mathematics, a computer science perspective
پدیدآورنده: Grassmann, Winfried Karl
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Computer science - mathematics
رده :
QA
76
.
9
.
M35
G7
95. Logic for mathematics and computer science
پدیدآورنده : Stanley N. Burris
موضوع : Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
96. Logicism renewed : logical foundations for mathematics and computer science
پدیدآورنده: Gilmore, Paul Carl, 5291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
23
97. Mathematical structures for computer science : discrete mathematics and its applications
پدیدآورنده: Gersting, Judith L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Mathematics,، Mathematical models,، Computer science -- Mathematics
رده :
QA
39
.
3
.
G47M3
2014
98. Mathematics and Computer Science III
پدیدآورنده: edited by Michael Drmota, Philippe Flajolet, Danièle Gardy, Bernhard Gittenberger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorics.,Computer science.,Distribution (Probability theory).,Mathematics.,Visualization.
99. Mathematics and Computer Science in Medical Imaging
پدیدآورنده: edited by Max A. Viergever, Andrew Todd-Pokropek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer graphics.,Computer science.,Medical records -- Data processing.
رده :
RC78
.
7
.
D53
E358
1988
